Synthesis of Computable Regular Functions of Infinite Words

Regular functions from infinite words to infinite words can be equivalently specified by MSO-transducers, streaming ?-string transducers as well as deterministic two-way transducers with look-ahead. In their one-way restriction, the latter transducers define the class of rational functions. Even though regular functions are robustly characterised by several finite-state devices, even the subclass of rational functions may contain functions which are not computable (by a Turing machine with infinite input). This paper proposes a decision procedure for the following synthesis problem: given a regular function f (equivalently specified by one of the aforementioned transducer model), is f computable and if it is, synthesize a Turing machine computing it. For regular functions, we show that computability is equivalent to continuity, and therefore the problem boils down to deciding continuity. We establish a generic characterisation of continuity for functions preserving regular languages under inverse image (such as regular functions). We exploit this characterisation to show the decidability of continuity (and hence computability) of rational and regular functions. For rational functions, we show that this can be done in NLogSpace (it was already known to be in PTime by Prieur). In a similar fashion, we also effectively characterise uniform continuity of regular functions, and relate it to the notion of uniform computability, which offers stronger efficiency guarantees

The Internet of Things and The Web of Things

International audienceThe Internet of Things is creating a new world, a quantifiable and measureable world, where people and businesses can manage their assets in better informed ways, and can make more timely and better informed decisions about what they want or need to do. This new con-nected world brings with it fundamental changes to society and to consumers. This special issue of ERCIM News thus focuses on various relevant aspects of the Internet of Things and the Web of Things

Similarities and differences between behavioral and electrophysiological visual acuity thresholds in healthy infants during the second half of the first year of life

Purpose Behavioral and electrophysiological methods for visual acuity estimation typically correlate well in children and adult populations, but this relationship remains unclear in infants, particularly during the second half of the first year of life. It has been suggested that the agreement between both methods mostly relies on age and/or subjective acuity factors. The present study aimed at comparing acuity thresholds obtained with both approaches in a sample of healthy infants in a relatively narrow age range, that is 6–10 months old. Methods Acuity thresholds were assessed in 61 healthy infants aged between 6 and 10 months using the Teller acuity cards (TAC) and sweep visual evoked potentials (sVEP). The TAC stimuli (stationary vertical gratings displayed on laminated cards) ranged from 0.31 to 38 cycles per degree (cpd). The TAC acuity threshold was estimated according to the highest spatial frequency scored by the experimenter as seen by the infant. The sVEP stimuli (high-contrast vertical gratings counter-phased at 12 reversals/s) ranged from 13.5 to 1 cpd. sVEP were recorded at Oz and acuity threshold was estimated using regression linear fitting. Results Considering the entire sample, sVEP acuity thresholds (8.97 ± 2.52 cpd) were significantly better than TAC scores (5.58 ± 2.95 cpd), although the difference was within 1 octave for 64% of the infants. Neither Pearson nor intra-class correlations between the two methods were significant (0.18 and 0.03, respectively). While age at assessment was not related to any dependent variable (TAC, sVEP, sVEP–TAC difference score), subjective (behavioral) acuity was found to underlie the difference between the two methods. The difference between sVEP and TAC scores decreased as a function of subjective acuity, and at the highest subjective acuity level (>10 cpd), TAC acuity slightly exceeded sVEP acuity. Conclusions The superiority of sVEP acuity often reported in the literature was evident in our infant sample when subjective acuity (TAC) was low or moderate, but not when it was high (>10 cpd). The relationship between the two estimation methods was not dependent on age, but on subjective acuity

Magnetic resonance imaging assessed enteric motility and luminal content analysis in patients with severe bloating and visible distension

Background: Gastrointestinal symptoms in functional gut disorders occur without any discernible structural gut abnormality. Preliminary observations on enteric MRI suggest possible abnormal content and motility of the terminal ileum (TI) in constipation-predominant IBS (IBS-C) with severe bloating, and in functional bloating and distension (FABD) patients. We investigated whether MRI can quantify differences in small bowel (SB) content and motility between patients and healthy controls (HCs). Methods: 11 IBS-C (mean age 40 [21–52] years; 10 women) and 7 FABD (36 [21–56]; all women) patients with bloating and 20 HCs (28 [22–48]; 6 women) underwent enteric MRI, including dynamic motility and anatomical sequences. Three texture analysis (TA) parameters assessed the homogeneity of the luminal content, with ratios calculated between the TI and (1) the SB and (2) the ascending colon. Four TI motility metrics were derived. Ascending colon diameter (ACD) was measured. A comparison between HCs and patients was performed independently for: (1) three TA parameters, (2) four TI motility metrics, and (3) ACD. Key Results: Compared with HCs, patients had TI:colon ratios higher for TA contrast (p < 0.001), decreased TI motility (lower mean motility [p = 0.04], spatial motility variation [p = 0.03], and area of motile TI [p = 0.03]), and increased ACD (p = 0.001). Conclusions and Inferences: IBS-C and FABD patients show reduced TI motility and differences in luminal content compared with HCs. This potentially indicates reflux of colonic contents or delayed clearance of the TI, which alongside increased ACD may contribute to symptoms of constipation and bloating

Cracking in asphalt materials

This chapter provides a comprehensive review of both laboratory characterization and modelling of bulk material fracture in asphalt mixtures. For the purpose of organization, this chapter is divided into a section on laboratory tests and a section on models. The laboratory characterization section is further subdivided on the basis of predominant loading conditions (monotonic vs. cyclic). The section on constitutive models is subdivided into two sections, the first one containing fracture mechanics based models for crack initiation and propagation that do not include material degradation due to cyclic loading conditions. The second section discusses phenomenological models that have been developed for crack growth through the use of dissipated energy and damage accumulation concepts. These latter models have the capability to simulate degradation of material capacity upon exceeding a threshold number of loading cycles.Peer ReviewedPostprint (author's final draft

Regulation of Arabidopsis thaliana seed dormancy and germination by 12-oxo-phytodienoic acid.

We previously demonstrated that the oxylipin 12-oxo-phytodienoic acid (OPDA) acts along with abscisic acid to regulate seed germination in Arabidopsis thaliana, but the mechanistic details of this synergistic interaction remain to be elucidated. Here, we show that OPDA acts through the germination inhibition effects of abscisic acid, the abscisic acid-sensing ABI5 protein, and the gibberellin-sensing RGL2 DELLA protein. We further demonstrate that OPDA also acts through another dormancy-promoting factor, MOTHER-OF-FT-AND-TFL1 (MFT). Both abscisic acid and MFT positively feed back into the OPDA pathway by promoting its accumulation. These results confirm the central role of OPDA in regulating seed dormancy and germination in A. thaliana and underline the complexity of interactions between OPDA and other dormancy-promoting factors such as abscisic acid, RGL2, and MFT

Deciphering the genome structure and paleohistory of _Theobroma cacao_

We sequenced and assembled the genome of _Theobroma cacao_, an economically important tropical fruit tree crop that is the source of chocolate. The assembly corresponds to 76% of the estimated genome size and contains almost all previously described genes, with 82% of them anchored on the 10 _T. cacao_ chromosomes. Analysis of this sequence information highlighted specific expansion of some gene families during evolution, for example flavonoid-related genes. It also provides a major source of candidate genes for _T. cacao_ disease resistance and quality improvement. Based on the inferred paleohistory of the T. cacao genome, we propose an evolutionary scenario whereby the ten _T. cacao_ chromosomes were shaped from an ancestor through eleven chromosome fusions. The _T. cacao_ genome can be considered as a simple living relic of higher plant evolution

NusaWrites: Constructing High-Quality Corpora for Underrepresented and Extremely Low-Resource Languages

Democratizing access to natural language processing (NLP) technology is crucial, especially for underrepresented and extremely low-resource languages. Previous research has focused on developing labeled and unlabeled corpora for these languages through online scraping and document translation. While these methods have proven effective and cost-efficient, we have identified limitations in the resulting corpora, including a lack of lexical diversity and cultural relevance to local communities. To address this gap, we conduct a case study on Indonesian local languages. We compare the effectiveness of online scraping, human translation, and paragraph writing by native speakers in constructing datasets. Our findings demonstrate that datasets generated through paragraph writing by native speakers exhibit superior quality in terms of lexical diversity and cultural content. In addition, we present the \datasetname{} benchmark, encompassing 12 underrepresented and extremely low-resource languages spoken by millions of individuals in Indonesia. Our empirical experiment results using existing multilingual large language models conclude the need to extend these models to more underrepresented languages. We release the NusaWrites dataset at https://github.com/IndoNLP/nusa-writes